Categoricity in homogeneous complete metric spaces

نویسندگان

  • Åsa Hirvonen
  • Tapani Hyttinen
چکیده

We introduce a new approach to the model theory of metric structures by defining the notion of a metric abstract elementary class (MAEC) closely resembling the notion of an abstract elementary class. Further we define the framework of a homogeneous MAEC were we additionally assume the existence of arbitrarily large models, joint embedding, amalgamation, homogeneity and a property which we call the perturbation property. We also assume that the Löwenheim-Skolem number, which in this setting refers to the density character of the set instead of the cardinality, is א0 . In these settings we prove an analogue of Morley’s categoricity transfer theorem. We also give concrete examples of homogeneous MAECs.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Model Theoretic Stability and Categoricity for Complete Metric Spaces Sh837

We deal with systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very different from first order model theory. In particular we prove the analogue of Morley’s theorem for classes of complete metric spaces.

متن کامل

Fixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions

In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...

متن کامل

A Ciric-type common fixed point theorem in complete b-metric spaces

In this paper, we define the concept of compatible and weakly compatible mappings in b-metric spaces and inspired by the Ciric and et. al method, we produce appropriate conditions for given the unique common fixed point for a family of the even number of self-maps with together another two self-maps in a complete b-metric spaces. Also, we generalize this common fixed point theorem for a seq...

متن کامل

Generalized multivalued $F$-contractions on non-complete metric spaces

In this paper, we explain a new generalized contractive condition for multivalued mappings and prove a fixed point theorem in metric spaces (not necessary complete) which extends some well-known results in the literature. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Arch. Math. Log.

دوره 48  شماره 

صفحات  -

تاریخ انتشار 2009